Вперше розроблено модель подання знань - логіко-обчислювальну семантичну (ЛОС) мережу, що має нову сукупність функціональних можливостей, одночасно не притаманних аналогічним моделям. Розроблено метод прямого логічного виводу на базі формування множин вершин ЛОС-мережі, специфічною особливістю якого є можливість безпосереднього виведення з кожної з них деякої раніше не виведеної вершини. Вперше створено метод побудови початкового стану процесу прямого логічного виводу, що дозволяє виключити можливість завдання суперечних, неповних або надлишкових вхідних даних для опису ситуації для рішення проблемних задач на ЛОС-мережі. Розроблено методи статичної верифікації знань, поданих у ЛОС-мережі. Запропоновано теретико-графовий підхід для рішення проблеми виявлення й усунення суперечностей у структурі ЛОС-мережі. Розроблено метод генерації множини тестових випадків для ЛОС-мережі. На базі розроблених моделі подання знань і методів їх обробки реалізовано програмно-інструментальне середовище подання й обробки знань (СЛМ-технологію). Показано можливості використання нової СЛМ-технології для підтримки процесів подання й обробки чітких і нечітких процедурно-декларативних знань і забезпечення їх несуперечності.

  Завантажити